2. Advances in aeronautical informatics :
پدیدآورنده : Umut Durak, Jürgen Becker, Sven Hartmann, Nikolaos S. Voros, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Aeronautics.,Airplanes-- Electronic equipment.,Airplanes-- Technological innovations.,Aeronautics.,Aerospace & aviation technology.,Airplanes-- Electronic equipment.,Airplanes-- Technological innovations.,Artificial intelligence.,Business mathematics & systems.,Information retrieval.,Network hardware.,TECHNOLOGY & ENGINEERING-- Engineering (General)
رده :
TL545
5. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
6. Compositional Verification of Concurrent and Real-Time Systems
پدیدآورنده : by Eric Y. T. Juan, Jeffrey J. P. Tsai.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Mechanical engineering.,Software engineering.
7. Enabling Technologies for Computational Science
پدیدآورنده : edited by Elias N. Houstis, John R. Rice, Efstratios Gallopoulos, Randall Bramley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Electronic data processing.,Information theory.
8. Intelligent CAD Systems I :
پدیدآورنده : edited by Paul J.W. ten Hagen, Tetsuo Tomiyama.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer-aided design.,Software engineering.
رده :
TA174
.
E358
1987
